the KJ method is HNSW